Formal methods for communication services: meeting the industry expectations
نویسندگان
چکیده
منابع مشابه
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, we investigate important industrial concerns and criticisms about the use of formal methods ...
متن کاملFormal Methods for Communication Services
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architectures and work related to the feature interaction problem. Based on our survey, the results reported in the literature and most importantly, on extensive discussions with industry, we investigate important industrial co...
متن کاملImam Ali`s ethical principles and methods for meeting opponents
The Prophet and Imam`s communications with their opponents include valuable educational and ethical points for educators to such an extent that in some cases the opponents have accepted Islam. This paper, studying Imam Ali`s (a) practical manner of meeting opponents in one hand and in other, analyzing his speeches in the field, has discovered his most effective educational principles and techni...
متن کاملEvaluating the Criteria for Meeting Customer Expectations at the Total Quality Management Level, Using System Dynamics Approach
Success of total quality management is associated with the ability to learn, absorb, adapt and implement changes in organizational attitudes and to integrate them into the organization. The purpose of this study is to investigate and improve some undesirable behaviors against customer-oriented total quality, using system dynamics approach. After reviewing the theoretical literature and conducti...
متن کاملThe highs and lows of deploying Formal Methods in Industry
I attended my first software conference in 1968; it was organised by NATO with the title “The Software Crisis.” Many of the papers presented then could have been written yesterday; the problems of the software industry in producing reliable, correct software in the face of increasing complexity and shrinking time to market pressures have not fundamentally changed that much. In the intervening y...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Networks
سال: 2002
ISSN: 1389-1286
DOI: 10.1016/s1389-1286(01)00242-0